Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
I like the shape of that table.
我喜欢那桌子的形状。
An honest look covereth many faults.
一副诚实的外表掩盖着许多缺点。
But so far, the public has expressed its gratitude to the students in letters to the Press.
但到目前为止，公众已经向新闻界写信表达他们对学生们的感激之情了。